89d7189468fc914ece1291307abd568eed07b9d0,basex-core/src/main/java/org/basex/core/GlobalOptions.java,GlobalOptions,GlobalOptions,#boolean#,93
Before Change
final String ph = get(PROXYHOST);
final String pp = Integer.toString(get(PROXYPORT));
setSystem("http.proxyHost", ph);
setSystem("http.proxyPort", pp);
setSystem("https.proxyHost", ph);
setSystem("https.proxyPort", pp);
setSystem("http.nonProxyHosts", get(NONPROXYHOSTS));
After Change
setSystem("https.proxyHost", ph);
}
final String pp = Integer.toString(get(PROXYPORT));
if(!pp.isEmpty()) {
setSystem("http.proxyPort", pp);
setSystem("https.proxyPort", pp);
}
final String nph = get(NONPROXYHOSTS);